ESL Design Methodology

ESL Design Methodology for Architecture Exploration using OSCI TLM-2.0 Standard

We present a methodology for design of complex digital systems at system level through a training video. After the introduction to SystemC and TLM-2.0, the video explains a number of design sub-levels and guidelines for design at each sub-level. A test data compression system is implemented as a case study using OSCI TLM 2.0 standard. .

The New World of ESL Design

Ballista Design and Methodology Ballista Design and Methodology

This report serves as initial documentation of the design and methodology to be employed by Ballista, an automatic robustness testing and hardening tool for Commercial Off-The-Shelf software components. The Ballista architecture includes the following major components: • Automatic testing of software modules determines whether they behave robustly in the face of exceptional inputs. • Characteri...

System Level Design Methodology

There are many fundamental problems in the design of object-oriented methods that support the development of formal executable models on a system level, and that are suitable for hardware/software co-specification. System level description formalisms should combine concepts expressive enough to model the essentials of a system on the right level of abstraction. This paper reports experiences in...

Hybrid Observer Design Methodology

This report is the second deliverable D7.2 of Work Package WP7 of the HYBRIDGE Project. The main contributions of D7.2 is a review of the concept of observability for hybrid systems and the presentation of a new approach to observability and observer design for hybrid systems. The ...rst part of the report deals with a formal de...nition of hybrid system that is used to present in a uni...ed fr...